Data types - PDFSEARCH.IO - Document Search Engine

Data types
Results: 6238

#	Item
741	Synthesis of Fixed-Point Programs Eva Darulova EPFL Rupak Majumdar Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2013-08-05 05:55:21 Primitive types Software engineering Mathematics Numerical analysis Floating point Genetic algorithm Error detection and correction C Affine arithmetic Computer arithmetic Computing Data types
742	Ohio Oil & Gas Energy Education Program CAREERS IN OHIO SERIES: ENGINEERING TECHNICIAN Job Description: Assist various types of engineers with technical tasks/ data management. Add to Reading List Source URL: oogeep.org Language: English - Date: 2015-02-12 14:19:18 Association of Public and Land-Grant Universities Mid-American Conference American Association of State Colleges and Universities Youngstown Ohio University of Akron Kent Ohio Youngstown State University University System of Ohio Ohio locations by per capita income Ohio Geography of the United States North Central Association of Colleges and Schools
743	OR Fair Plan with CY 2005 and CY 2006 Data SeptemberAutosaved).xls Add to Reading List Source URL: orfairplan.com Language: English - Date: 2013-12-23 11:35:23 Nationwide Mutual Insurance Company The Travelers Companies Mutual insurance Farmers Insurance Group Federated Mutual Insurance Company Chartis Mitsui Sumitomo Insurance Group MetLife Sentry Insurance Insurance Types of insurance Kemper Corporation
744	Radon in Utah January 2015 This report presents the current state of radon topics in Utah. Economic burden estimates of radon-related lung cancer are presented. Types of radon data, including data uses and limitations, a Add to Reading List Source URL: www.health.utah.gov Language: English - Date: 2015-01-22 09:50:38 Chemistry Soil contamination Physics Chemical elements Health effects of radon Indoor air quality Radiation Exposure Compensation Act Lung cancer Radium Radon Matter Building biology
745	Architecture and Design David May David May 1 Add to Reading List Source URL: www.cs.bris.ac.uk Language: English - Date: 2006-06-20 03:50:56 Data types Primitive types Information Computer architecture Exabyte Central processing unit Multiply–accumulate operation 128-bit 64-bit Computer arithmetic Computing Units of information
746	Verifying Dereference Safety via Expanding-Scope Analysis A. Loginov∗ E. Yahav Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2008-05-21 10:34:30 Primitive types Computer programming Hypothesis testing Pointer Statistical hypothesis testing Reference Null C Variable Software engineering Data types Computing
747	On the Concept of Variable Roles and its Use in Software Analysis Yulia Demyanova, Helmut Veith, Florian Zuleger Vienna University of Technology Abstract—Human written source code in imperative programming languages ex Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2013-10-18 10:27:57 Type theory Variables Environment variable C programming language C syntax Computing Software engineering Data types
748	On Deciding Functional Lists with Sublist Sets Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2010-05-11 07:07:53 Functional programming Lisp programming language Higher-order functions Data types Recursion Append Fold List Map Software engineering Computing Computer programming
749	AA Technical NoteThe Error in the Double Precision Representation of Julian Dates Approved for Public Release Add to Reading List Source URL: aa.usno.navy.mil Language: English - Date: 2015-05-26 09:50:59 Data types Numbers Binary arithmetic IEEE standards Floating point Double-precision floating-point format Fortran Precision Extended precision Computer arithmetic Computing Arithmetic
750	The C LOSER: Automating Resource Management in Java Isil Dillig Thomas Dillig Computer Science Department Stanford University {isil, tdillig}@cs.stanford.edu Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2008-05-21 22:24:04 Memory management Object-oriented programming Data types Primitive types Cross-platform software Dispose pattern Finalizer Garbage collection Manual memory management Computing Software engineering Computer programming

UPDATE